Towards Competency Question-Driven Ontology Authoring
نویسندگان
چکیده
Ontology authoring is a non-trivial task for authors who are not proficient in logic. It is difficult to either specify the requirements for an ontology, or test their satisfaction. In this paper, we propose a novel approach to address this problem by leveraging the ideas of competency questions and test-before software development. We first analyse real-world competency questions collected from two different domains. Analysis shows that many of them can be categorised into patterns that differ along a set of features. Then we employ the linguistic notion of presupposition to describe the ontology requirements implied by competency questions, and show that these requirements can be tested automatically.
منابع مشابه
Computing Authoring Tests from Competency Questions: Experimental Validation
This paper explores whether Authoring Tests derived from Competency Questions accurately represent the expectations of ontology authors. In earlier work we proposed that an ontology authoring interface can be improved by allowing the interface to test whether a given Competency Question (CQ) is able to be answered by the ontology at a given stage of its construction, an approach known as CQ-dri...
متن کاملTowards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change
The interactive use of mathematical assistance systems requires an intensive training in their input and command language. With the integration into scientific WYSIWYG text-editors the author can directly use the natural language and formula notation she is used to. In the new documentcentric paradigm changes to the document are transformed by a mediator into commands for the mathematical assis...
متن کاملOntologies for authoring of intelligent educational systems
The goal of this paper is to illustrate the beneficial role of ontologies in achieving efficient authoring support for Intelligent Educational Systems (IES). We present our ideas within an ontology-driven framework EASE offering power with respect to the functionality, generic approach for its support of instructional strategies and user-friendliness in its interaction with the author. A centra...
متن کاملTest-Driven Development of ontologies (extended version)
Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic testbed for ontology authoring is missing. We sought to address this by introducing the approach of test-driven development for ontology authoring. We specify ...
متن کاملThe MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge Engineering for ITS Authoring
This paper describes the MATHESIS semantic authoring framework being developed within the MATHESIS project. The project aims at an intelligent authoring environment for reusable model-tracing tutors. The framework has three components: an intelligent web-based model-tracing algebra tutor, an ontology and a set of authoring tools. The tutor serves as a prototype for the development of the ontolo...
متن کامل